From a115a6d874f6d118b397b66ce5f873ac98610bf3 Mon Sep 17 00:00:00 2001
From: Guy Van den Broeck <guyvdb@users.mediawiki.org>
Date: Wed, 20 Aug 2008 18:45:43 +0000
Subject: [PATCH] added diff headers for HTML diff

---
 includes/DifferenceEngine.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index 1f88f5cf32..1ddd882ebd 100644
--- a/includes/DifferenceEngine.php
+++ b/includes/DifferenceEngine.php
@@ -267,6 +267,8 @@ CONTROL;
 			'<div id="mw-diff-ntitle4">' . $nextlink . $patrol . '</div>';
 
 		if( $wgEnableHtmlDiff ) {
+			$multi = $this->getMultiNotice();
+			$wgOut->addHTML( $this->addHeader( '', $oldHeader, $newHeader, $multi ) );
 			$this->renderHtmlDiff();
 		} else {
 
@@ -332,6 +334,7 @@ CONTROL;
 
 		$this->showDiffStyle();
 
+		$wgOut->addHTML( "<hr /><h2>HTML diff</h2>\n" );
 		#add deleted rev tag if needed
 		if( !$this->mNewRev->userCan(Revision::DELETED_TEXT) ) {
 			$wgOut->addWikiMsg( 'rev-deleted-text-permission' );
@@ -672,8 +675,6 @@ CONTROL;
 	 * Add the header to a diff body
 	 */
 	static function addHeader( $diff, $otitle, $ntitle, $multi = '' ) {
-		global $wgOut;
-
 		$header = "
 		<table class='diff'>
 		<col class='diff-marker' />
-- 
2.20.1